home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / 93src.lha / src / print / pputil.sig < prev    next >
Encoding:
Text File  |  1993-01-27  |  1.0 KB  |  29 lines
  1. (* Copyright 1989 by AT&T Bell Laboratories *)
  2.  
  3. signature PPUTIL =
  4. sig
  5.   structure Symbol : SYMBOL
  6.   val ppSequence : PrettyPrint.ppstream ->
  7.            {sep: PrettyPrint.ppstream->unit, 
  8.             pr: PrettyPrint.ppstream->'a->unit,
  9.             style: PrettyPrint.break_style}
  10.            -> 'a list -> unit
  11.   val ppClosedSequence : PrettyPrint.ppstream
  12.              -> {front:PrettyPrint.ppstream->unit, 
  13.                              sep:PrettyPrint.ppstream->unit,
  14.                  back:PrettyPrint.ppstream->unit,
  15.                              pr:PrettyPrint.ppstream->'a->unit,
  16.                  style:PrettyPrint.break_style}
  17.              -> 'a list -> unit
  18.   val ppSym : PrettyPrint.ppstream -> Symbol.symbol -> unit
  19.   val formatQid : Symbol.symbol list -> string
  20.   val mlstr : string -> string
  21.   val pp_mlstr : PrettyPrint.ppstream -> string -> unit
  22.   val ppvseq : PrettyPrint.ppstream
  23.                -> int -> string -> (PrettyPrint.ppstream -> 'a -> unit)
  24.                -> 'a list -> unit
  25.   val ppIntPath : PrettyPrint.ppstream -> int list -> unit
  26.   val ppSymPath : PrettyPrint.ppstream -> Symbol.symbol list -> unit
  27. end
  28.  
  29.